[计] 综合程序 program synthesis: 程序语法; 程序综合automatic program synthesis: 自动程序综合logical program synthesis: 逻辑程序合成ship synthesis program: 船舶综合程序; 船舶综合分析程序structural synthesis design program: 结构综合设计程序下载手机词典可随时随地查词查翻译